signature OPT_ON_AST_STRUCTS =
sig
  structure Ast : AST
end

signature OPT_ON_AST =
sig
  include OPT_ON_AST_STRUCTS
  
  val top : Ast.Program.t -> Ast.Program.t
end
